Kinematic mental simulations in abduction and deduction Sangeet Suresh Khemlania,1, Robert Mackiewiczb, Monica Bucciarellic, and Philip N. Johnson-Lairdd,e,1 a Navy Center for Applied Research in Artificial Intelligence

Source URL: mentalmodels.princeton.edu

• Theoretical computer science
• Algorithm
• Mathematical logic
• Computational complexity theory
• Mental model
• Complexity
• NP
• Parallel computing
• Science
• Ethology
• Applied mathematics

Scaling the Mobile Millennium System in the Cloud Timothy Hunter, Teodor Moldovan, Matei Zaharia, Samy Merzgui, Justin Ma, Michael J. Franklin, Pieter Abbeel, Alexandre M. Bayen University of California, Berkeley ABSTRA

Source URL: www.cs.berkeley.edu

• Parallel computing
• Neural networks
• Cloud computing
• Estimation theory
• Expectation–maximization algorithm
• Missing data
• Algorithm
• MapReduce
• K-means clustering
• Computing
• Concurrent computing
• Computer programming

Online System for Faster Multipoint Linkage Analysis via Parallel Execution on Thousands of Personal Computers M. Silberstein, A. Tzemach, N. Dovgolevsky, M. Fishelson, A. Schuster, and D. Geiger Computer Science Departm

Source URL: www.cs.technion.ac.il

• Parallel computing
• Elston–Stewart algorithm
• Bayesian network
• Lander–Green algorithm
• Algorithm
• Genetic linkage
• Distributed computing
• Automatic parallelization
• Computational complexity theory
• Statistics
• Genetic epidemiology
• Statistical genetics

Specificity vs. Flexibility: On the Embedding Cost of a Virtual Network Arne Ludwig, Stefan Schmid, Anja Feldmann Telekom Innovation Laboratories & TU Berlin, Germany {aludwig,stefan,anja}@net.t-labs.tu-berlin.de

Source URL: www.net.t-labs.tu-berlin.de

• Parallel computing
• IBM VNET
• Embedding
• Computer cluster
• Peer-to-peer
• Rete algorithm
• Scalability
• Network virtualization
• Node
• Computing
• Mathematics
• Concurrent computing

PARALLEL RAY TRACING WITH 5D ADAPTIVE SUBDIVISION G. Simiakakis Harokopio University Athens, [removed]Greece [removed]

Source URL: wscg.zcu.cz

• Computing
• Ray tracing
• Rendering
• Parallel computing
• Parallel algorithm
• Eric Haines
• Distributed computing
• Supersampling
• Ray tracing hardware
• 3D computer graphics
• Computer graphics
• Optics

Comparison of Parallel Algorithms for the 0-1 Knapsack Problem on Networked Computers Rebecca A Hunt A Thesis in the Field of Information Technology

Source URL: www.rebeccahunt.com

• Operations research
• Knapsack problem
• Algorithm
• Backtracking
• Dynamic programming
• Solver
• Greedy algorithm
• Theoretical computer science
• Applied mathematics
• Mathematics

MapReduce Based Location Selection Algorithm for Utility Maximization with Capacity Constraints Yu Sun, Jianzhong Qi, Rui Zhang Department of Computing and Information Systems University of Melbourne, Australia

Source URL: www.ruizhang.info

• Distributed computing architecture
• MapReduce
• Parallel computing
• Apache Hadoop
• Algorithm
• Computing
• Concurrent computing
• Software

Communication-Optimal Parallel Algorithm for Strassen’s Matrix Multiplication Grey Ballard, James Demmel, Benjamin Lipshitz and Oded Schwartz Sandia National Labs UC Berkeley

Source URL: www.sandia.gov

• Multiplication
• Matrix theory
• Matrix multiplication
• Matrix
• Algebra
• Mathematics
• Numerical linear algebra

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Tilting at windmills with Coq: formal verification of a compilation algorithm for parallel moves

Source URL: gallium.inria.fr

[removed]Outline Introduction to the On-line Course:
 


Source URL: www.cs.berkeley.edu

• Numerical linear algebra
• Numerical software
• Parallel computing
• Matrix theory
• Matrix
• Sparse matrix
• Singular value decomposition
• Algorithm
• Basic Linear Algebra Subprograms
• Algebra
• Mathematics
• Linear algebra